Allouer efficacement des ressources dans un environnement distribué

RÉSUMÉ. Les algorithmes d’exclusion mutuelle généralisée permettent de gérer les accès concurrents des processus sur un ensemble de ressources partagées. Cependant, ils doivent assurer un accès exclusif à chaque ressource. Afin d’éviter les interblocages beaucoup de solutions reposent sur l’hypothèse forte d’une connaissance préalable des conflits entre les requêtes des processus. D’autres approches, qui ne requièrent pas une telle connaissance, utilisent un mécanisme de diffusion ou un verrou global, dégradant ainsi la complexité en messages et augmentant le coût de synchronisation. Nous proposons dans cet article un nouvel algorithme pour l’allocation de ressources partagées qui réduit les communications entre processus non conflictuels sans connaître à l’avance le graphe des conflits. Les résultats de nos évaluations de performances montrent que notre solution améliore le taux d’utilisation d’un facteur 1 à 20 comparé à un algorithme se basant sur un verrou global.